Fixed point - PDFSEARCH.IO - Document Search Engine

Fixed point
Results: 544

#	Item
521	PDF Document Add to Reading List Source URL: www.math.hmc.edu Language: English - Date: 2001-02-22 21:33:27 Algebraic topology Differential topology Borsuk–Ulam theorem Combinatorics Brouwer fixed-point theorem Antipodal point Degree of a continuous mapping Fixed point Sphere Topology Mathematics Space
522	PDF Document Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2004-03-31 23:41:52 Algebraic topology Lefschetz duality Duality Cohomology Alexander duality Lefschetz fixed-point theorem Spanier–Whitehead duality Eckmann–Hilton duality Thom space Topology Abstract algebra Mathematics
523	PDF Document Add to Reading List Source URL: www.math.byu.edu Language: English - Date: 1999-09-08 15:24:41 Topological spaces Metric geometry Calculus Continuous function Lipschitz continuity Banach fixed-point theorem Metric space Banach space Topology Mathematics General topology
524	PDF Document Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2006-06-26 16:40:00 Mathematical logic Combinatory logic Church encoding SKI combinator calculus Function Calculus Currying Fixed-point combinator Lambda calculus Theoretical computer science Mathematics
525	PDF Document Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2003-09-29 12:38:13 Lambda calculus Recursion Computability theory Theoretical computer science Subroutines Joy Fixed-point combinator Combinatory logic Forth Software engineering Computer programming Computing
526	PDF Document Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-02-23 19:27:20 Lambda calculus Theory of computation Computability theory Recursion Combinatory logic Fixed-point combinator Recursively enumerable set Computability Fixed point Theoretical computer science Computer science Applied mathematics
527	PDF Document Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2005-11-16 08:41:24 Curry–Howard correspondence Dependently typed programming Logic in computer science Philosophy of computer science Proof theory Type theory Visitor pattern Fixed-point combinator Lambda calculus Theoretical computer science Computer science Mathematics
528	PDF Document Add to Reading List Source URL: www.digitalsignallabs.com Language: English - Date: 2013-01-02 16:30:50 Numbers Data types Mathematics Primitive types Fixed-point arithmetic Q Signedness Signed number representations Integer Computer arithmetic Arithmetic Binary arithmetic
529	PDF Document Add to Reading List Source URL: haskell.cs.yale.edu Language: English - Date: 2011-12-16 15:59:03 Lambda calculus Digital electronics Logic in computer science Digital signal processing Fixed-point combinator Recursion Transformer Monad Combinatory logic Theoretical computer science Electronic engineering Applied mathematics
530	PDF Document Add to Reading List Source URL: dept.econ.yorku.ca Language: English - Date: 2013-08-02 18:04:33 Linear algebra General equilibrium theory Economic equilibrium Vector space Kakutani fixed-point theorem Sonnenschein–Mantel–Debreu theorem Algebra Mathematics Game theory

UPDATE